home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test12.gl < prev    next >
Text File  |  1991-06-18  |  149b  |  12 lines
  1. Basetype E;
  2.  
  3. Atom
  4.    xor :- E & E => E,
  5.    dff :- E => E;
  6.  
  7. Def
  8.    parity :- E => E;
  9.    parity x = y
  10.       where y = dff (xor [x,y]);
  11.       endwhere;
  12.